symbolic logic

symbolic logic

美 　英

• na.【數】符號邏輯
• 網絡數理邏輯；符號邏蘿輯；象征邏輯

英漢解釋

na.	1. 【數】符號邏輯,數理邏輯

英英解釋

n.	1. the branch of formal logic that studies the meaning and relationships of statements through precise mathematical methods and a standardized system of symbols and rules of inference

例句

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

符號邏輯往往分為兩個分支，命題邏輯和謂詞邏輯。

I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.

我會給你們一些難題因為，我們在做哲學邏輯，我們在做符號邏輯。

So the research on symbolic logic become an academic focus, the French philosopher Jean Baudrillard is a typical representative.

于是對符號邏輯的研究成為學術熱點，法國哲學家鮑德里亞就是一位典型代表。

Clearly the infamous inventor of symbolic logic, Dr. George Boole -- see Resources -- would feel right at home.

顯然，“聲名狼籍的”符號邏輯發明者GeorgeBoole博士—請參閱參考資料—會覺得這些選項很親切。

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

符號邏輯是象征性的研究抽象捕捉正規特點邏輯推理。

This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.

本課首先將向你介紹符號邏輯的一個分支，即通常認為成為的句子邏輯或命題邏輯。

Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.

閱讀關于GeorgeBoole博士（符號邏輯的發明者）的更多內容，布爾型就是因他而得名的。

Atom propositions are the basic unit of symbolic logic.

原子命題是數理邏輯研究的基本單位。

an operation that follows the rules of symbolic logic.

依據數理邏輯法則進行的操作或運算。

it is an example of symbolic logic.

這是個象征邏輯的例子。

Application of Symbolic Logic Statistics in Laboratory

數理統計在化驗室的應用

Thoughts on Semi-symbolic Logic--From the Angle of Education

對半符號邏輯的思考--從教育的觀點看

The Journal of symbolic logic

符號邏輯雜志